Incidence matrices of projective planes and of some regular bipartite graphs of girth 6 with few vertices

Let q be a prime power and r=0,1...,q−3. Using the Latin squares obtained by multiplying each entry of the addition table of the Galois field of order q by an element distinct from zero, we obtain the incidence matrices of projective planes and the incidence matrices of (q−r)-regular bipartite graphs of girth 6 and $q^2$−rq−1 vertices in each partite set. Moreover, in this work two Latin squares of order q−1 with entries belonging to {0,1,..., q}, not necessarily the same, are defined to be quasi row-disjoint if and only if the cartesian product of any two rows contains at most one pair (χ,χ) with χ≠0. Using these quasi row-disjoint Latin squares we find (q−1)-regular bipartite graphs of girth 6 with $q^2$−q−2 vertices in each partite set. Some of these graphs have the smallest number of vertices known so far among the regular graphs with girth 6.Postprint (published version

A construction of small regular bipartite graphs of girth 8

Let q be a prime a power and k an integer such that 3 ≤ k ≤ q. In this paper we present a method using Latin squares to construct adjacency matrices of k-regular bipartite graphs of girth 8 on $2(kq^{2}-q)$ vertices. Some of these graphs have the smallest number of vertices among the known regular graphs with girth 8.Postprint (published version

On the acyclic disconnection and the girth

The acyclic disconnection, (omega) over right arrow (D), of a digraph D is the maximum number of connected components of the underlying graph of D - A(D*), where D* is an acyclic subdigraph of D. We prove that (omega) over right arrow (D) >= g - 1 for every strongly connected digraph with girth g >= 4, and we show that (omega) over right arrow (D) = g - 1 if and only if D congruent to C-g for g >= 5. We also characterize the digraphs that satisfy (omega) over right arrow (D) = g - 1, for g = 4 in certain classes of digraphs. Finally, we define a family of bipartite tournaments based on projective planes and we prove that their acyclic disconnection is equal to 3. Then, these bipartite tournaments are counterexamples of the conjecture (omega) over right arrow (T) = 3 if and only if T congruent to (C) over right arrow (4) posed for bipartite tournaments by Figueroa et al. (2012). (C) 2015 Elsevier B.V. All rights reserved.Peer ReviewedPostprint (author's final draft

Estudios sobre algunas nuevas clases de conectividad condicional en grafos dirigidos

La conectividad condicional, definida por Harary en 1983, mide el mínimo número de vértices (o ramas) que hay que eliminar de un grafo o digrafo de forma que todas las componentes conexas resultantes tengan una propiedad prefijada de antemano. La importancia de los diferentes tipos de conectividad condicional está unida al concepto de supervivencia de las componentes que se determinan cuando la red se interrumpe, lo que se expresa especificando las propiedades de estas componentes. Engloban tanto la conectividad estándar como la superconectividad ya que pueden ser interpretadas como conectividades condicionales con respecto a la propiedad que consiste en tener más de cero vértices o un vértice respectivamente.En esta tesis presentamos condiciones suficientes de dos tipos que garantizan altas conectividades condicionales: cotas superiores sobre diámetro y cotas inferiores sobre el orden, ambas formuladas en términos del girth en el caso de grafos, o bien en función del semigirth l en el caso de digrafos.El primer tipo de conectividad condicional abordada es la t-distancia conectividad que juega un papel importante a la hora de medir la fiabilidad de la red como una función de la distancia entre los nodos que queremos comunicar. En este caso se requiere que los conjuntos desconectadotes separen vértices que estaban suficientemente alejados en el (di)grafo original. Se define el t-grado y se muestra que los parámetros que miden la t-distancia conectividad la arco t-distancia conectividad y el t-grado están relacionados por desigualdades que generalizan las desigualdades conocidas para las conectividades estándar. Además, se prueba que otra de las propiedades que estos nuevos parámetros mantienen es la independencia.El trabajo realizado previamente permite profundizar en el estudio de la superconectividad de (di)grafos y de digrafos bipartitos. Se aborda el problema de desconectar de manera no trivial un digrafo superconectado, centrándonos en calcular la máxima distancia a la que se encuentra alejado un vértice de un conjunto desconectador no trivial de cardinal relativamente pequeño. Se introducen los parámetros que miden la superconectividad de un digrafo superconectado, y se estudian condiciones suficientes sobre el diámetro y el orden para obtener cotas inferiores sobre estas medidas de superconectividad. Por último se desarrolla un estudio en el caso de grafos, paralelo al realizado en el caso dirigido. Se expone una tabla en cuyas entradas figuran los órdenes de los grafos con el mayor número de vértices que se conocen hasta el momento junto con sus conectividades respectivas.La última parte de la tesis está dedicado al estudio de grafos que modelan redes conectadas de forma óptima con respecto a la siguiente propiedad de tolerancia a fallos: Cuando algunos nodos o uniones fallan, se exige que en las componentes que se determinan en la red haya un número mínimo de nodos conectados entre sí. Esta conectividad condicional se denomina extraconectividad, que corresponde con la propiedad consistente en tener al menos un cierto número de vértices. Desde este punto de vista, tanto la conectividad estándar como la superconectividad, constituyen medidas de conectividad condicional. El trabajo llevado a cabo mejora sustancialmente las primeras condiciones suficientes sobre el diámetro dadas por Fiol y Fàbrega quienes ya habían conjeturado que la cota superior sobre el diámetro que se había encontrado era posible mejorarla.The conditional connectivity defined by Harary in 1983, gives the minimum number of vertices or edges which have to be eliminated from a graph or a digraph in such a way all the resulting connected components satisfy a determined property The importance of the different types of conditional connectivity is linked to the concept of survival of the components that determine when the network is interrupted, which is expressed by specifying the properties of these components. They include both connectivity standard as superconectividad as they can be interpreted as a conditional connectivities with respect to the property that is to have more than zero points or a vertex respectively.In this thesis we present sufficient conditions of two types that guarantee high conditional connectivities: upper bounds on diameter and lower bounds on the order, both in terms of girth made in the case graph, or in terms of semigirth l in the directed case.The first type of conditional connectivity addressed is the t-distance connectivity that plays an important role in measuring the reliability of the network as a function of the distance between the nodes that we want to communicate. In this case disconnecting sets are required to separate vertices that were sufficiently distant in the original (di)graph. The t-degree is defined and it is shown that the parameters that measure the t-distance connectivity the arc t-distance connectivity and t-degree inequalities are related by the same inequalities known for standard connectivities. In addition, it is proved that another of the properties that these new parameters keep is the independence.The work done previously allows to study in depth the superconectivity of digraphs and bipartite digraphs. It addresses the problem of disconnecting in a non-trivial way a superconnected digraph, focusing on calculating the maximum distance that is a remote vertex from a non-trivial disconnecting set of cardinality relatively small. The superconnectivity parameters are introduced and sufficient conditions on the diameter and on the order to obtain good measures of superconnectivity are given. Finally, there has been a case study in graphs, conducted in parallel to the directed case addressed. A table whose entries include orders of the graph with the largest number of vertices that are known so far along with their respective connectivities is exposed.The last part of the thesis is devoted to the study of connected graphs modeling networks in an optimal way with respect to the following property of fault tolerance: When some nodes or links fail, it is required that all the components that are determined by the network have a minimum number of nodes connected to each other.This kind of conditional connectivity is called extraconectivity, and corresponds to the property of having at least a certain number of vertices. From this point of view, both as the standard connectivity and superconectivity constitute measures of conditional connectivity. The work carried out substantially improves the early sufficient conditions on the diameter given by Fiol and Fàbrega who had already conjetured that the upper bound on the diameter, which they had been found could be improved.Postprint (published version

Sufficient conditions for a digraph to admit a (1,=l)-identifying code

A (1, = `)-identifying code in a digraph D is a subset C of vertices of D such that all distinct subsets of vertices of cardinality at most ` have distinct closed in-neighbourhoods within C. In this paper, we give some sufficient conditions for a digraph of minimum in-degree d - = 1 to admit a (1, = `)- identifying code for ` ¿ {d -, d- + 1}. As a corollary, we obtain the result by Laihonen that states that a graph of minimum degree d = 2 and girth at least 7 admits a (1, = d)-identifying code. Moreover, we prove that every 1-in-regular digraph has a (1, = 2)-identifying code if and only if the girth of the digraph is at least 5. We also characterize all the 2-in-regular digraphs admitting a (1, = `)-identifying code for ` ¿ {2, 3}.Peer ReviewedPostprint (author's final draft

Identifying codes from the spectrum of a graph or digraph

Peer ReviewedPostprint (author's final draft

On the λ'-optimality of s-geodetic digraphs

For a strongly connected digraph D the restricted arc-connectivity λ'(D) is defined as the minimum cardinality of an arc-cut over all arc-cuts S satisfying that D − S has a non trivial strong component D1 such that D − V (D1) contains an arc. Let S be a subset of vertices of D. We denote by ω+(S) the set of arcs uv with u ∈ S and v ∈ S, and by ω−(S) the set of arcs uv with u ∈ S and v ∈ S. A digraph D = (V,A) is said to be λ'-optimal if λ'(D) = ξ'(D), where ξ'(D) is the minimum arc-degree of D defined as ξ(D) = min{ξ'(xy) : xy ∈ A}, and ξ'(xy) = min{|ω+({x, y})|, |ω−({x, y})|, |ω+(x)∪ω−(y)|, |ω−(x)∪ω+(y)|}. In this paper a sufficient condition for a s-geodetic strongly connected digraph D to be λ'-optimal is given in terms of its diameter.Further we see that the h-iterated line digraph Lh(D) of a s-geodetic digraph is λ'-optimal for certain iteration h.Peer Reviewe

On the connectivity and restricted edge-connectivity of 3-arc graphs

A 3−arc of a graph G is a 4-tuple (y, a, b, x) of vertices such that both (y, a, b) and (a, b, x) are paths of length two in G. Let ←→G denote the symmetric digraph of a graph G. The 3-arc graph X(G) of a given graph G is defined to have vertices the arcs of ←→G. Two vertices (ay), (bx) are adjacent in X(G) if and only if (y, a, b, x) is a 3-arc of G. The purpose of this work is to study the edge-connectivity and restricted edge-connectivity of 3-arc graphs.We prove that the 3-arc graph X(G) of every connected graph G of minimum degree δ(G) ≥ 3 has edge-connectivity λ(X(G)) ≥ (δ(G) − 1)2; and restricted edge- connectivity λ(2)(X(G)) ≥ 2(δ(G) − 1)2 − 2 if κ(G) ≥ 2. We also provide examples showing that all these bounds are sharp.Peer Reviewe

A family of mixed graphs with large order and diameter 2

A mixed regular graph is a connected simple graph in which each vertex has both a fixed outdegree (the same indegree) and a fixed undirected degree. A mixed regular graphs is said to be optimal if there is not a mixed regular graph with the same parameters and bigger order. We present a construction that provides mixed graphs of undirected degree qq, directed degree View the MathML sourceq-12 and order 2q22q2, for qq being an odd prime power. Since the Moore bound for a mixed graph with these parameters is equal to View the MathML source9q2-4q+34 the defect of these mixed graphs is View the MathML source(q-22)2-14. In particular we obtain a known mixed Moore graph of order 1818, undirected degree 33 and directed degree 11 called Bosák’s graph and a new mixed graph of order 5050, undirected degree 55 and directed degree 22, which is proved to be optimal.Peer ReviewedPostprint (author's final draft

Edge-superconnectivity of semiregular cages with odd girth

A graph is said to be edge-superconnected if each minimum edge-cut consists of all the edges incident with some vertex of minimum degree. A graph G is said to be a {d, d + 1}- semiregular graph if all its vertices have degree either d or d+1. A smallest {d,d+1}-semiregular graph G with girth g is said to be a ({d, d+1}; g)-cage.We show that every ({d, d+1}; g)-cage with odd girth g is edge-superconnected.Peer Reviewe